Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
651	Cooperative Search with Autonomous Vehicles in a 3D Aquatic Testbed Matthew Keeter1 , Daniel Moore2,3 , Ryan Muller2,3 , Eric Nieters1 , Jennifer Flenner4,5 , Susan E. Martonosi2 , Andrea L. Bertozzi6 , Allon G. Percus4 Add to Reading List Source URL: www.mattkeeter.com Language: English - Date: 2014-01-18 10:23:47 Algorithm Mathematical logic Submarine NP Line Mathematics Applied mathematics Theoretical computer science
652	ACM SIGSOFT SOFTWARE ENGINEERING NOTES vol 11 no 5 Oct 1988 Page 83 NRL Invitational Workshop Two Approaches Add to Reading List Source URL: www.landwehr.org Language: English - Date: 2014-08-18 19:00:12 Formal verification Logic in computer science Theoretical computer science State space Mathematical analysis Classical cipher Heat equation Applied mathematics Control theory Mathematics
653	Numerical Subdivision Methods in Motion Planning Yi-Jen Chiang and Chee Yap KEY: Abstract— We propose to design new algorithms for motion Add to Reading List Source URL: www.cse.unr.edu Language: English - Date: 2012-12-20 19:29:24 Applied mathematics Motion planning Closed and exact differential forms Algorithm Constructible universe Ordinal number Theoretical computer science Mathematics Mathematical logic
654	CONSTRUCTIVIST LOGIC AND EMERGENT EVOLUTION IN ECONOMIC COMPLEXITY J. Barkley Rosser, Jr. James Madison University Add to Reading List Source URL: cob.jmu.edu Language: English - Date: 2008-05-12 20:05:00 Theoretical computer science Mathematics Systems Complex systems theory J. Barkley Rosser Jr. Computable function Mathematical logic Complexity General equilibrium theory Computability theory Applied mathematics Theory of computation
655	Comingle: Distributed Logic Programming for Decentralized Android Applications Edmund S. L. Lam and Iliano Cervesato March 2015 CMU-CSCMU-CS-QTR-125 Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2015-03-05 12:04:45 Logic in computer science Functional programming Monad Rewriting ALGOL 68 Software engineering Programming language theory Computing
656	Simulation and information: quantifying over epistemic events Hans van Ditmarsch12⋆ and Tim French3 1 3 Add to Reading List Source URL: www.csse.uwa.edu.au Language: English - Date: 2011-03-25 01:18:58 Modal logic Philosophical logic Model theory Theoretical computer science Bisimulation Logic in computer science Kripke semantics Epistemic modal logic Common knowledge Logic Mathematical logic Mathematics
657	This discussion paper is/has been under review for the journal Solid Earth (SE). Please refer to the corresponding final paper in SE if available. Discussion Paper Solid Earth Discuss., 7, 1347–1374, 2015 Add to Reading List Source URL: www.solid-earth-discuss.net Language: English - Date: 2015-06-08 08:10:24 Artificial intelligence Logic in computer science Non-classical logic Fuzzy measure theory Fuzzy set Logic Mathematical logic Fuzzy logic
658	&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Workshop on Linear Logic Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2011-11-05 07:38:23 Logic in computer science Models of computation Proof theory Philosophical logic Geometry of interaction Denotational semantics Linear logic Mathematical logic Curry–Howard correspondence Theoretical computer science Logic Mathematics
659	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
660	MUTUAL COOPERATION AND UNILATERAL ALTRUISM IN A ONE-SHOT PRISONER’S DILEMMA - A COMPUTABILITY APPROACH MIKIO NAKAYAMA Abstract. We consider the one-shot Prisoner’s Dilemma played by programs or machines, and show tha Add to Reading List Source URL: ies.keio.ac.jp Language: English - Date: 2015-05-07 04:10:57 Theory of computation Theoretical computer science Functions and mappings Function Computable function Equivalence relation Recursion Primitive recursive function Μ operator Mathematics Computability theory Mathematical logic

UPDATE